Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
71	RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p and K be a finite t Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2011-01-01 23:09:08 Algebraic number theory Algebraic topology Complex analysis Algebraic geometry Galois module Galois theory Ramification Valuation Sheaf Linear temporal logic Isomorphism theorem
72	SOCIAL GROUPING FOR TARGET HANDOVER IN MULTI-VIEW VIDEO Zhen Qin Christian R. Shelton Lunshao Chai∗ Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2013-03-14 16:02:04 Mathematical logic Craig interpolation Lemmas Interpretation Match moving Distribution Linear temporal logic
73	Economic Dynamical Systems with Multiplicative Noise John Stachurski Department of Economics, The University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:52 Symbol Markov chain Lyapunov function Mixing Linear temporal logic Central limit theorem
74	CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS BARNABY MARTIN ∗† , FLORENT MADELAINE Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2015-03-30 10:49:56 Complexity classes IP FO PSPACE-complete PSPACE Interpretation NP Quantifier Well-formed formula Generalized geography Linear temporal logic
75	ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language
76	CLASSIFYING THE SMOOTHNESS OF IMAGES: THEORY AND APPLICATIONS TO WAVELET IMAGE PROCESSING∗ RONALD A. DeVORE1 , University of South Carolina, and BRADLEY J. LUCIER2 , Purdue University Abstract Devore, Jawerth, and Luci Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2013-04-29 15:53:32 Functional analysis Signal processing Wavelets Timefrequency analysis Haar wavelet Distribution Orthogonal wavelet Fast wavelet transform Dual space Sobolev space Linear temporal logic Spline wavelet
77	Interpreting Translation-Invariant Wavelet Shrinkage as A New Image Smoothing Scale Space Antonin Chambolle1 and Bradley J. Lucier2 (Senior Member, IEEE ) Abstract Coifman and Donoho suggested translation-invariant wavel Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2000-09-04 23:06:14 Operator theory Signal processing Timefrequency analysis Functional analysis Wavelets Contraction Heat equation Discrete wavelet transform Operator Limit Differential forms on a Riemann surface Linear temporal logic
78	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
79	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
80	CUBULATING HYPERBOLIC FREE-BY-CYCLIC GROUPS: THE IRREDUCIBLE CASE MARK F. HAGEN AND DANIEL T. WISE Abstract. Let V be a nite graph and let φ : V → V be an irreducible train track map whose mapping torus has word-hype Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-08-17 19:52:03 Geometric group theory Geometric topology Train track map Free group Universal property Dynamical system Fiber bundle Orbifold Linear temporal logic

UPDATE